『証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~』

著者： 小島 寛之

発売： 2017/01/11

流れ・構成のメモ

詳しくは技術評論社の公式ページに記載されている目次を見てください。

数学Ⅰ程度の基礎

等号論理

自然演繹

命題論理 ...基本的な論理記号とその推論規則の説明

述語論理（※後述の自然数論を通じて説明されます）

健全性と完全性

自然数論

メカ自然数 ...自然数論の導入

メカ自然数Q（ロビンソンのQ）...量化記号とその推論規則の導入

メカ自然数P（ペアノ算術）...数学的帰納法の導入

ゲーデルの不完全性定理

手を動かして演繹図を何度も書いていると感覚が掴めてきます。

等号論理と自然演繹の命題論理の章を丁寧に勉強すると、以降の章がやりやすくなると思います。